marine turtle, sea turtle - any of various large turtles with limbs modified into flippers; widely distributed in warm seas

genus Lepidochelys, Lepidochelys - ridleys

Atlantic ridley, bastard ridley, bastard turtle, Lepidochelys kempii - gray sea turtle of the Atlantic and Gulf coasts of North America

Lepidochelys olivacea, olive ridley, Pacific ridley - olive-colored sea turtle of tropical Pacific and Indian and the southern Atlantic oceans