Happy Columbus Day to those employees who celebrate by not working