a long recount in Florida