Shark attacks diver off Florida coast, US Coast Guard says

We have not fully decoded this article yet, so read the full story at WFLA News Channel 8 (Florida).