diver dies when over shark