China's currency hit a record high against the US dollar