Should we let leatherback sea turtles go extinct?