dermochelys n type genus of the Dermochelyidae: leatherback turtles Synonym(s) Dermochelys genus Dermochelys