Election day should be a federal holiday.