Washington DC restaurant workers strike over racial bias, change in tipping structure