What a croc.
Yes a total waste of time and resources Texas as no shortage of alligators.
It is all about the state not getting their fees.
Most likely this gator had become a pest and some one took care of the problem.