public holiday to mark the 2020 Democracy Day celebration.