(a) The following days are legal holidays:


(1) the first of January, known as New Year's Day;


(2) the third Monday of January, known as Martin Luther King, Jr.'s Birthday as provided in (b) of this section;


(3) the third Monday in February, known as Presidents' Day;


(4) the last Monday of March, known as Seward's Day;


(5) the last Monday in May, known as Memorial Day;


(6) the fourth of July, known as Independence Day;


(7) the first Monday in September, known as Labor Day;


(8) the 18th of October, known as Alaska Day;


(9) the 11th of November, known as Veterans' Day;


(10) the fourth Thursday in November, known as Thanksgiving Day;


(11) the 25th of December, known as Christmas Day;


(12) every Sunday;


(13) every day designated by public proclamation by the President of the United States or the governor of the state as a legal holiday.


(b) For employment purposes, Martin Luther King, Jr.'s Birthday is a legal holiday for state employees who


(1) are not covered by a collective bargaining agreement; or


(2) are covered by a collective bargaining agreement whose terms


(A) include by name Martin Luther King, Jr.'s Birthday; or


(B) have been amended to substitute a holiday on the third Monday of January for Martin Luther King, Jr.'s Birthday in place of another paid holiday.