La marina española en la obra de José de Vargas y Ponce (1786-1816) | Publicación