declared general holiday