christmas is part of a public holiday