Where Trump is right and wrong on the renminbi