East Sea <the> name used for two millennia (<The> Korea Society for East Sea, 2005)