“Pensacola (/ˌpɛnsəˈkoʊlə/) is the westernmost city in the Florida Panhandle, approximately 13 miles (21 km) from the border with Alabama, and the county seat of Escambia County, in the U.S. state of Florida. As of the 2010 census, the city had a total population of 51,923, down from 56,255 at the 2000 census. Pensacola is the principal city of the Pensacola metropolitan area, which had an estimated 461,227 residents in 2012.”

wikipedia