Is the stock market open on Columbus Day - will banks, post offices open? Here's what you need to know