Why whales don’t get strokes while diving