Few options for Trump in dealing with North Korea?