This is the second gator-related death in Florida since last October.