In 1978, Congress passed a law taxing coal exports from United States mines. Clintwood Elkhorn Mining Company v. United States, 473 F.3d 1373, 1374 (Fed. Cir. 2007); 26 U.S.C. ยง 4121(a)(2). Clintwood Elkhorn Mining Company, Gatliff Coal Company, and...