In this title, “employee holiday” includes:
(1) January 1, for New Year’s Day;
(2) January 15, for Dr. Martin Luther King, Jr.’s birthday, unless the United States Congress designates another day for observance of that legal holiday, in which case, the day designated by the United States Congress;
(3) the third Monday in February, for Presidents’ Day;
(4) May 30, for Memorial Day, unless the United States Congress designates another day for observance of that legal holiday, in which case, the day designated by the United States Congress;
(5) July 4, for Independence Day;
(6) the first Monday in September, for Labor Day;
(7) October 12, for Columbus Day, unless the United States Congress designates another day for observance of that legal holiday, in which case, the day designated by the United States Congress;
(8) November 11, for Veterans’ Day;
(9) the fourth Thursday in November, for Thanksgiving Day;
(10) the Friday after Thanksgiving Day, for American Indian Heritage Day;
(11) December 25, for Christmas Day;
(12) each statewide general election day in this State; and
(13) each other day that the President of the United States or the Governor designates for general cessation of business.