"Juan Manuel Antonio Ramos Lora (persIndias1845)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved