Kaiser workers vote to strike in October.