workingclasshistory-On this day, 12 July 1917, over 1000 copper miners in the revolutionary Industri