OPEC crude oil production rises in July led by Gulf nations — Trace