5 workers stabbed with pocket knife in Florida: Police

12