Veterans Day 2023: Are banks closed on Friday? Are schools open?