Holidays designated by law to occur on Monday (i.e., Birthday of Martin Luther King, Jr., Washington's Birthday, Memorial Day, Labor Day, and Columbus Day) are moved to Sundays for employees at duty posts outside the United States who are regularly scheduled to work on Monday.