Dermochelys n 1: type genus of the Dermochelyidae: leatherback turtles [syn: {Dermochelys}, {genus Dermochelys}]