during his 1859 survey of the Smokies crest, but under a different name (possibly Guyot's "Big Stone Mountain," which Guyot listed with an elevation of 5614 feet and lying somewhere between Mt. Buckley and Thunderhead).