The odds of a shark attack happening are apparently one in 11.5 million. And yet, an unlucky surfer in Florida has been ...