Listen: What options does the U.S. have in North Korea?