What was the population at the 2010 census of the city near the Troy Mine in Lincoln County?