Columbus isn’t as high profile in U.S. schools as he was 30 years ago. It used to be a school holiday. No longer. That may have, at least partially, due to recognizing his negative role in regard to natives. It’s been a while so my memory in the matter is a bit fuzzy.