won hyo is almost move for move heian nidan.
The beginning section is substantially similar, but the back end not so much. I wouldn't say they are "almost move for move" the same form.
your theory that "the korean names are just korean versions of the japanese names, no renaming here" is false in the case of form Dan Gun
there is no JAPANESE form named after the legendary founder of korea......
Which shotokan form is the same as dan gun? You talk about won hyo above.