Port des États-Unis (Floride), sur la baie de Pensacola (côte du golfe du Mexique).Population : 51 923 hab. (recensement de 2010)