The other three federal holidays honoring individuals are Washington's Birthday (which is usually called called President's Day), Columbus Day, and Christmas. Most people working in banks and other government owned places get the day off. Many students get a day off from school on this day. See 5 USC 6103.