I've always assumed that the Mongolian princess Hua Jeng was a fictional character created by Jin Yong for LOCH who never existed in history, but it turns out that Hua Jeng was an actual historical figure. We've never gotten the Anglicization of her name correct, however. It turns out that her actual name was Princess Khojin.