Will this bring US gas prices down? Somehow I don’t think so