China just ramped up its holdings of US treasuries