Tens of thousands of Las Vegas casino workers OK strike