Joaquim Agostinho Pinto Peixoto Ribeiro See original record