Whales take short naps – How do fish, dolphins, and whales sleep?