an unauthorized work stoppage not sanctioned by the UMWA leadership — that shut down virtually the entire West Virginia coal industry.