October sees second-best monthly results ever for US commercial gaming