Pensacola is part of Florida