Foreign holdings of US Treasuries surge to all-time high in July, China's sink - Reuters