Milpitas Library Closed for Veterans Day