The name Oklahoma comes from the Choctaw phrase okla humma, literally meaning red people. When was the name Oklahoma made official