On the Renminbi: The Choice Between Adjustment Under a Fixed Exchange Rate and Adjustment Under a Flexible Rate