"Juan Esteban Gregorio Martínez de Pinillos (persIndias4152)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved