That's just bad bad luck. Who knows but if dive boats were required to have AEDs the diver might still be alive.