Is Beijing propping up the renminbi?