"In fact, the Department of the Treasury estimates that as a result of these drawdowns both domestically and internationally, the price at the pump for Americans is up to about 40 cents per gallon lower than it otherwise would have been," the White House said in its announcement.