"José Antonio Velázquez (persIndias184)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved