O acervo histórico da Academia Real de Guardas-Marinhas da Biblioteca da Marinha