Is the stock market open on Veterans Day? Will banks be closed?