Official Name: Estado de Florida Occidental
Population: .
Capital: Pensacola
Other important cities: .