What should be done about North Korea