The Medical Examiner’s Office identified the 43-year-old visitor who died after being pulled out of the water at Sharks Cove as Andrew Walkingshaw of Taylorsville, Utah.

An autopsy will be conducted to determine cause of death.

Witnesses said Walkingshaw was snorkeling when he got into trouble at about 9:30 a.m. on Sunday, according to an Emergency Medical Services report.

Bystanders pulled him out of the water and lifeguards and firefighters performed CPR on Walkingshaw, who regained a pulse and started breathing.

An ambulance took him in critical condition to a hospital, where he later died.