November 20 declared public holiday