Inauguration Day and MLK Day: Is the stock market open?