The alligator was between 9 and 12 feet long.