Diving with a Galápagos green turtle