A happy dolphin enjoys the calm waters off Florida's Gulf coast on Saturday (May 9) and does 9 consecutive jumps for the camera.