"Juan Bautista de Lavalle (persIndias3174)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved