Fun fact about the etymology of “alligator:” When the Spanish first landed in what is now Florida, they found alligators and simply called them “el lagarto,” which literally translates to “the lizard.” While there were many reptiles in the swamps and bayous, only one was enough of a problem to be called “THE lizard,” and after several mistranslations being borrowed into other languages, “el lagarto” morphed into “alligator”

Or at least that’s what I read somewhere once.