Eastern Associated Coal Corp. v. United Mine Workers, Dist. 17