"Diccionario marítimo español", 1831