An underwater robot discovering a lost city