Martin Luther King, Jr. Day. City Hall and the Library are closed.