20180505 city.bengaluru: Karnataka election 2018: May 12 holiday to ensure high voter turnout