How China Trades US Treasurys When It Wages Currency War