Trump and Xi’s South Korean meeting changed little