20050709 unknown: Do dolphins sleep?