Domingos António da Costa Brito See original record