any of various large turtles with limbs modified into flippers; widely distributed in warm seas