H. da Graça Aranha, “The Directoria de Navegação da Marinha do Brasil”, IHR, no. 2, Jun. 2018.