October: Virginians wager 23.8% more on sports; Ohio casinos make 4.4% less revenue