Why crude released from U.S. oil reserves may have ended up being exported overseas