public holiday for Democracy Day