Ironically, perhaps, Yale does not take Columbus day.

https://your.yale.edu/work-yale/benefits/paid-time/official-...