Why Trump only has bad North Korea options