Trump thanks President Xi of China for addressing North Korea