Der Taucher wurde von einem Weißen Hai getötet.