US options on North Korea: It's a choice between bad and worse