"José Mariano Batres y Asturias (persIndias3329)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved