Underwater Robots Get a Boost in Mapping the Ocean