Ohio’s gaming revenue in May down slightly from previous two months