I haven’t heard that, but I know the day is extremely downplayed or even ignored. I still call it Columbus Day because that’s what it is, and I don’t feel the need to apologize for our civilization.
...where we live (Central Texas) one sees a lot of gubbermint closures on 10/12 for “staff training” or “staff development” and for the school kiddies, it’s now a “student holiday”....
Columbus - BAD...!!!