Gambling revenue in Ohio hits $206.7m in July