There’s a long-running dispute over the name of the Sea of Japan among Japan, North Korea, South Korea and Russia, with South Korea arguing that the current name wasn’t commonly used until ...