also called Dolphin ( no, not like Flipper) and El Dorado.  This was a 15 pounder my son caught on the ocean side of Key Marathon.  Great trip.