"Diego de Robladillo y Velasco (persIndias3636)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved