António Alberto Martins Carneiro de Brito See original record