Martin Luther King, Jr. Day--LIBRARY CLOSED