What’s in This Deep ‘Blue Hole’ Off Florida? They’re Working on It. Oceans and Seas, Exploration and Explorers, Submarines and Submersibles, Florida, St Petersburg (Fla), De Soto, Hernando (1496/97-1542)