Booming US oil production is beginning to seep into international markets despite the country’s ban on oil exports. One sign of change was the departure in late July of a tanker from Texas City, Texas, with 400,000 bbl of liquid hydrocarbons bound for Asia, Reuters reported.