The cost of changing all the documents and textbooks that reference that mountain.
Even history textbooks are updated and replaced at regular intervals. More facts are discovered and the textbooks wear out from use. Nothing is forcing anybody into quickly replacing textbooks. It will work itself out.
Teachers can also point out the new name of the mountain. I think they can handle it.