Energetics of swimming of a sea turtle.