"Luis de Velasco y Ruiz de Alarcón (persIndias2929)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved