holiday — festive day set aside by custom or by law