Agostinho Teixeira Pereira de Magalhães See original record