Election Day holiday, fall 2017