After letting the option go unused for more than 20 years, the Antitrust Division of the Department of Justice recently announced it would use arbitration to settle its challenge of the proposed merger of two aluminum producers. In a press …