The scuba diver was eaten by a shark.