Government Employees and Columbus Day

How many government employees who rail against Columbus Day and want to change the holiday are sitting home today enjoying their paid holiday? I suspect all of them. How many of them insisted on working this day out of principle and refused to take a paid holiday? I suspect that number is zero.


8:43 am on October 12, 2020