Trump and Xi buy time in trade war. That was the easy part.