Pete has a point, albeit perhaps clumsily made given that someone died here....
I've been waiting to hear any kind of details about what could have caused the shark to attack. The only information I have been able to glean from the internet is
1) the group surfaced
and
2) the shark swam up and bit the diver's legs
and
3) the DM tried to intervene and was bitten as well
This just seems like an unfortunate freak accident to me at this point. I haven't read anything yet that lead me to believe that there was any provocation of the shark like feeding, spear fishing or whatever. It really seems to be a case of being in the wrong place at the wrong time.
... so I'm going to say that Pete is right even if the way he said it was insensitive to the victim and their family. We're in the ocean when we dive and the fish make the rules. That's what this looks like.
R..