(CNN) A shark attack killed a 65-year-old man as he was swimming off the coast of Maui Saturday morning, according to authorities. As a matter of protocol, authorities have posted signs along a half-mile stretch beach warning people of a shark, Dennison said. An incident report from the County of Maui Department of Fire and Public Safety -- obtained by CNN affiliate KHON -- says his family told authorities he had gone for a swim. The report indicates the man was unresponsive and that first responders performed CPR after bringing him ashore. Signs have been posted along the beach warning people to be wary of sharks.

Source: CNN May 26, 2019 21:00 UTC