"Francisco Julián de Antolino (persIndias1234)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved