António Raimundo da Pirca Coutinho See original record