Colombia’s july crude output rises to average 657,000 b/d