If you check the Bloomberg calendar, it will be "Columbus Day" on Monday, however stipulates that the market and futures will still be open/trading.can anyone else confirm ?