Talk:Haechi/@comment-36100631-20180913031944/@comment-30076690-20180913235050

the names are from korean mythology.

japan did try to invade korea multiple times, so there could be some overlap

but they're korean