History

for article: Central Mine Historic District