What Trump has already given up to North Korea