Washington and Beijing should conduct a joint intervention on the renminbi