Divers eaten by whales?