Using Robots to Map Shallow Water on Nautical Charts