Missing Columbus Day holiday in Calendar

I have the "HOLIDAYS" calendar loaded for the US in the Proton Calendar app but Oct 14, Columbus Day isn't included. I know it's a contentious "holiday" but it's still listed as a Federal Holiday and should be included.