Thst happens occasionally.....bad juju for the alligator though, they can’t tolerate salt water.
Happens here now and then.
Last time some crazy college kids on spring break tried to catch it...............