Park City’s Silver King Coalition Mine Historic District has been added to the National Register of Historic Places.