Martin Luther King Jr. Day is a federal holiday, meaning that these offices and agencies are to be closed Monday.