What to do about Iran?