what lake???
“As for specifically where the gator was caught, Brotz declined to say because he doesn’t want a ton of people scrambling to get tags for that lake.”
https://www.wesh.com/article/heaviest-alligator-florida/44967124#