Dolphin leaping in ocean waves