Coal. Executive order [regulating jobbers' margins on coal in intrastate, interstate, and foreign commerce of United States].