https://blogs.bentley.edu/intheknow/2013/10/10/columbus-day-holiday-mini-break-hours/