What to do about Tehran’s push for nukes?The U.S. says all options are open—but it’s talking down military strikes