Marine turtles (IUCN, 1969)