Dr. Martin Luther King, Jr. Holiday -- Library closed