Xi’s visit to North Korea: what did it achieve?