"José Antonio María Aguilar de Aguilar (persIndias3321)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved