"Juan Ignacio de la Rocha (persIndias1437)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved