4.15  Holidays:

The following shall constitute the official holidays:  New Year's Day, Dr. Martin Luther King Jr.'s Birthday, Memorial Day, Independence Day, Victory Day, Labor Day, Columbus Day, Veterans Day, Thanksgiving Day, Christmas Day, and any day on which a general election of state officers is held.