December was a historically bad month for casinos