"Diccionario marítimo español, José de Lorenzo, Gonzalo de Murga, Martín Ferreiro y Peralto, 1865