Deep-sea coral and hardbottom habitats on the west Florida slope, eastern Gulf of Mexico. (February 2017)