Do u think the Christopher Columbus Day name should change ?

To Indigenous Peoples Day. Perhaps this video below will add some insight to what I am talking
about here. What do you think. Should the name change, or should it stay the same.
Comments.
[media=https://www.youtube.com/watch?v=939fI_KEy4E]