It looks like a freak accident, and it is. My buddy snorkeled and free-dived for a week in that exact place a couple years ago, took awesome UW pictures. Gorgeous reef and the sharks there normally don’t go that shallow, let alone attack. Hey, stuff happens.