Guest post: don’t expect China to devalue the RMB