Is the stock market open on Presidents Day? Will the post office deliver mail?