RIBEIRO, António Joaquim do Anjo da Guarda See original record