The toponym al-Andalus (الأندلس) is first attested in inscriptions on coins minted by the Umayyad rulers of Iberia, from ca. 715. The etymology of the name has traditionally been derived from the name of the Vandals (who settled in Hispania in the 5th century). A number of proposals since the 1980s have contested this: Vallvé (1986) proposed derivation of the name from the Atlantic. Halm (1989) derives the name from a reconstructed Gothic term *landahlauts. Bossong (2002) suggests derivation from a pre-Roman substrate. Corriente (2008) suggests a derivation from Coptic *emendelēs, "southwest".