Lourenço António de Oliveira Pantoja See original record