MINING "ORE": At the time of the 2000 census, this Eastern city was the 17th most populous in the U.S.