Hospital da Marinha. See original record