“Senator Ted Budd predicts that a nuclear-armed Iran would cause U.S. gasoline prices to rise to between $9 and $11 per gallon.”