Ohio posts $83m in October casino revenue