If Obama punts on Iran, will Israel use nukes?