Brito, António Jacinto de See original record