How often do crocodiles attack in Miami?

I don't think their has ever been a Crocodile Attack in Miami, because their aren't any Crocodiles in Miami, they are only at the Southern tip of the Everglades. Alligator Attacks, occassionally.....