Sperm whales and their mysterious vertical sleep.