Ordem de serviço de Rodrigo Pinto Guedes, em nome do Infante D. Pedro Carlos Bourbon See original record