Haile alligator

== English == === Etymology === Named after the town of Haile, Florida, where it was first found. === Noun === Haile alligator (plural Haile alligators) A large, extinct species of alligator (†Alligator hailensis), known from the early Pleistocene of Florida.