Good news, good news. None of the people swimming were attacked by the shark and good chance they wouldn't have anyway, and also good news the shark wasn't harmed either. Shark just doing shark things and next thing he knows hot led is being shot at his direction. If the Coastguard would have injured or killed the shark good chance more sharks would have come through for a meal. So maybe not the best idea and fortunate everyone and every shark was able to live to swim another day.