António José de Oliveira Pereira See original record