At US-China summit, Trump presses Xi on trade, N. Korea; progress cited