Oil from Keystone Pipeline Would Have Been More than Russia Imports