Another alligator was just spotted at Dolphin Mall. Time for a name change?