Hydrosaurus celebensis, Peters (1872)