"Juan Francisco Machado (persIndias3594)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved