António José Borges de Brito See original record