Should Election Day be a paid holiday?

Should Election Day be a paid holiday? The city of Sandusky just made the bold move, swapping out Columbus Day as a paid holiday for its roughly 250 city workers in place of Election Day.