The Treasury Department Is Wrong. China Didn’t Just Devalue Its Currency.