A tragic incident. As others noted, this man was on the surface, which is the case in nearly all shark attacks. There is a lot of solid information about shark attacks on humans at this
Florida Museum website, all of which suggests that responsible divers are not likely to be attacked by sharks. A diver was mauled and killed by a tiger shark at Cocos in 2017, but she was on the surface waiting for a skiff, not at depth—something worth mulling over from a best-practice perspective when exiting a dive in sharky waters. A friend asked me to photograph or video him and others doing freedive spear fishing in bull shark waters . . . I declined.