EIA: US oil production to average 13.42 mln BPD in June vs. 13.56 mln BPD in May to average 13.46 mln BPD in July.