Superman has the same behavior, which can be called Xia. According to his uniqueness, he can be called "Flash", which is more accurate. But now that we have a well-known translation, there is no need to change it.
For example, the Yangtze River, commonly known as "Yangtze Yangtze River" abroad, has been established. It is more accurate if translated into the Yangtze River, but others are not used to it.