The issue of what to call the body of water between Japan and the Korean peninsula is particularly touchy for Korean immigrants and others who have searing memories of Japan’s invasion of Korea in the early 20th century.