Milpitas Library Closed for Christmas Day