The race to map the ocean deep