Originally the smelting center of the Warm Springs mining district , the town was first named Leadville in 1880 .
Originally , the smelting center of the Leadville mining district , the town was first named Warm Springs in 1880 .