What happened at DC’s restaurants when immigrant workers stayed home?