Pensacola: Bay and city in Escambia County, Florida. Said to be derived from the Indian word Pan-sha-okla, meaning "hair people." The French gave to the bay the name of Port-de-Aucloss, also Bai de St. Mariette.
