The Four Bad Options We Face with North Korea