Texas authorities have introduced they won't hunt the gator, however it's been described that A personal hunt could be organized. (UPDATE, 8:29 PM July 6: A person who'd only determine himself as “Bear” trapped the alligator suspected of involvement in this incident, and after that blasted it with a shotgun. “He had to go,” Bear explained