Despite social distancing restrictions, Ohio gambling revenue figures up again last month