Demochelys Demochelys prop. n. the type genus of the Dermochelyidae, consisting of leatherback turtles.