Holiday has become a generic term, which can apply to government holidays, too, like 4th of July.