U.S. managed $12 billion in Venezuelan oil revenue, State Department says

· Washington Post