Oxygen cost of swimming in a trained California sea lion.