Sen Mike Lee op-ed: One Agency for Antitrust (Wall Street Journal)