"Acerca do emprestimo de D. Miguel, denominado Emprint Royal de Portugal, feito em 1832." See original record