Should Christmas Day this year be a public holiday?