Woodland Branch Library Closed for Veterans Day