Ohio November gaming revenue down 17% y-o-y