Is the stock market open on Veterans Day? Here's what to know