What is Pensacola, Florida?
{{Infobox settlement<!-- See Template:Infobox settlement for additional fields and descriptions --> | name = Pensacola | official_name = | other_name = | native_name = | settlement_type = [[City]] | motto = | image_skyline = Pensacola1885.jpg | imagesize = | image_caption = Pensacola in 1885. | image_flag = | flag_size = | image_seal = Seal of Pensacola, Florida.png | seal_size = | image_shield = | shield_size = | image_map = Escambia_County_Florida_Incorporated_and_Unincorporated_areas_Pensacola_Highlighted.svg | mapsize = 250x200px | map_caption = Location in [[Escambia County, Florida|Escambia County]] and the state of [[Florida]] | image_map1 = | mapsize1 = 250x200px | map_caption1 = | pushpin_map = USA | pushpin_label = Pensacola | pushpin_label_position = | pushpin_map_caption = Location in the United States | pushpin_mapsize = | subdivision_type = Country | subdivision_name = United States | subdivision_type1 = [[U.S. state|State]] | subdivision_name1 = [[Florida]] | subdivision_type2 = [[List of counties in Florida|County]] | subdivision_name2 = [[Escambia County, Florida|Escambia]] | subdivision_type3 = | subdivision_name3 = | subdivision_type4 = | subdivision_name4 = | government_footnotes = | government_type = [[Mayor–council government|Mayor–council]] | governing_body = | leader_title = | leader_name = | leader_title1 = | leader_name1 = | leader_title2 = | leader_name2 = | leader_title3 = | leader_name3 = | established_title = First settled | established_d