ALLIGATOR, or American crocodile, called Coyman Alligator by the Indians. See REPTILIA, Index.