The Irish Times deems it simply “the Gulf”. The Sea of Japan is that to the Japanese and the “East Sea” to the Koreans. The difference here is that, until a few weeks ago, no such dispute ...