Do alligators live in Pensacola fl?

Occasionally there might be one in a pond, but due to the development of the city, they aren't very common.