No problem.
Besides, that’s a straw man issue. No one has a problem with teaching real history. It’s the DEI, woke, and LBGTQ agenda that is the problem.
So that whole thing back when when rightwingers were losing their minds over Columbus Day maybe being replaced by Indigenous Peoples' Day was what exactly? I mean... since you're making it about illusions of the state, indoctrination vs. real history...