"Antonio de la Llama Vallejo (persIndias3611)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved