António Teixeira de Magalhães e Lacerda See original record