Where is “Old Smoky” the mountain?

The subject of the 1840s folk song “On Top of Old Smoky” is one of the peaks in the Blue Ridge Mountains, located near Asheville, North Carolina.