António Vicente Teixeira Gonçalves de Brito See original record