António Teixeira Alves Martins See original record