Gateway Coal Co. v. Mine Workers

Finding that contractual agreement to submit disagreements to binding arbitration included disputes over safety and thus gave rise to implied obligation not to strike over such disputes