"Mariano Agustín del Carpio (persIndias3169)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved