Is the 19th of December also declared as a public holiday?