gator (n.)
1844, colloquial shortening of alligator.