“Senator Ted Budd predicted that if Iran were to acquire a nuclear weapon, U.S. gasoline prices would surge to between $9 and $11 per gallon.”