Martyrs Day omitted from list of gazetted holidays in IHK