Tiny robot submarine allows mariners to inspect anchors