kolgrufarbetare gjort sträjk , och rörelsen har utbredt sig till Ohio.