Really sorry to hear about this, sad for the folks who died. and that must have been scary for the lucky souls who survived.
On the plus (and unfeeling) side, I've just booked a trip out to Shark alley.
with a bit of luck the boats should be a bit quieter if this scares off some of the punters. A small point, AIUI they aren't allowed to chum anymore.
__________________
Give a hungry man a fish and he will eat for a day
Teach a hungry man to fish and he will buy a bad hat
Talk to a hungry man about fishing and you are a consultant.
Safe diving
Pete