The District shall observe the following holidays:
New Year's Day Labor Day
Martin Luther King Jr. Day Columbus Day
President's Day Veteran's Day
Memorial Day Thanksgiving Day
Independence Day Christmas Day
** Holidays which fall on Fridays/Saturdays shall be observed on the preceding Thursday. Those holidays which fall on Sunday shall be observed on the following Monday.