Is This the Biggest Alligator in Florida?

Someone posted a video of a huge alligator walking across a golf course in Florida recently.  Supposedly it was over 15 feet long, which would be a record.  The biggest alligator ever caught in Florida was just over 14 feet. It doesn’t sound like anyone’s trying to catch this one though.  A bunch of golfers have seen it on the same course before, and one employee said it’s like their unofficial mascot.