I guess October 9th is Leif Erickson Day. Didn’t know that.
Columbus Day was always October 12th anyway.
So they do both have their own day, as they should!