"Juan José Ortíz de Velasco (persIndias205)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved