How deep is the deepest ocean—and how precisely can we actually measure it? A Japanese research team led by the National ...