Will Washington, D.C., Voters Eliminate Tipped Restaurant Wages?