What Happens If Trump Labels China Currency Manipulator?