Dolphins can swim and sleep at the same time