US Treasury Sanctions Four Venezuelan Oil Firms and Tankers, Cutting Exports to Half of November Levels