alligator [pl. alligators]