Shallow water diving by leatherback turtles in the South China Sea