Domestic oil production down 3.8% in July