Wondering. Did the Japanese choice to name the reservoir Chosin have any connection with the fact that there was at one time in Korea a Choson Dynasty? Marty