Ofício para o Arsenal Real da Marinha (Carlos May). See original record