"Cartório do Arquivo Nacional da Torre do Tombo" See original record