74さんも自由コリア軍なるものは知らないから”韓国海軍”と呼称して
日本占領後からWW2前にかけてかの国には海軍と呼べるものはなかったと説明をした。