Really silly question?

I was looking up crocodilians in the Fl keys. Some websites say that alligators live in the keys only to Big Pine while others have reported alligators all the way down to Key West. Do any of you know for sure what different type of crocodilians actually live or have definitively been reported on Key West?