Pensacola (nombre propio): Ciudad en el estado de Florida, en Estados Unidos.