Search: "October 1 declared a government holiday"