Miguel António Ferreira de Pina See original record