The biggest concession Trump gave to North Korea wasn’t in the signed document