Alligator with a knife stuck in its skull sparks concern in Texas community

In my teens, this park opened up. They seeded it with a bunch of young gators. At the time, when I was a lot less brilliant, I thought "this isn't going to end well." Now, there are really big gators there. As for the gator with a knife in its head, I wonder if there are any missing persons in the area. I am guessing the gator didn't just let someone stab it in the head... just saying.