Independence Day

Labor Day

Veteran’s Day (observed)

Thanksgiving

(Exchange for Columbus Day)

Christmas Day