Other names that were considered included "Atlantis," "Vinland," and "Columbia," but "America" gained the widest acceptance and eventually became the official name of the continent. The name "Columbia" was coined by the Italian geographer Pietro Martire in 1511. It was in honor of Christopher Columbus, who is credited by many historians with being the first European to discover the Americas.