They voted on this last year didn't they, and set up some fundraiser?
Then this article talks about another 2017 vote, and some other no-doubt Democrat-controlled board in Oklahoma voting against Columbus and probably Lee in the future.
I'm so glad CNN is around to keep us up-to-date with the latest school naming decisions.