GATLINBURG, Tenn. (AP) — The highest peak at Great Smoky Mountains National Park is officially reverting to its Cherokee name more than 150 years after a surveyor named it for a Confederate general.