China’s holdings of US Treasuries tumble to the lowest level since May 2017