seaport in NW Fla., on an inlet () of the Gulf of Mexico: pop. 56,000
See Pensacola in American Heritage Dictionary 4
(pĕnˌsə-kōˈlə)
A city of extreme northwest Florida on Pensacola Bay, an inlet of the Gulf of Mexico. Originally settled by the Spanish in 1559, the city passed back and forth between the Spanish, French, and British until it was captured by Andrew Jackson in 1814 during the War of 1812. It formally became part of the United States in 1821. Population: 53,200.
