January 1; the third Monday in January, known as Martin Luther King, Jr. Civil Rights Day; the third Monday in February, known as Washington’s Birthday; the last Monday in May, known as Memorial Day or, on a date to coincide with the federal observance if it is held on a different day; July 4, known as Independence Day; the first Monday in September, known as Labor Day; the second Monday in October, known as Columbus Day; the day on which the biennial election is held; November 11, known as Veterans Day; Thanksgiving Day, whenever appointed; and Christmas Day are legal holidays.