None of the above. I work for a real estate company, so we only get the big holidays off (New Years, Memorial, Independence, Labor, T-Giving, Black Friday, and Christmas), in addition to a floating holiday, which I usually use for Good Friday.
At the local government where I used to work, I can't remember if we got Veterans Day off, since I was always in school during that time of the year.