Search“November 10 to be gov't holiday”