it is owned by the city of pensacola