How Trump should deal with North Korea’s nuclear power