[n] any of various large turtles with limbs modified into flippers; widely distributed in warm seas
marine turtle