So currently, Korea and China are the only countries that call the Sea of Japan the East Sea. Korea has recently been lobbying hard to change this. Well, the Virginia Senate just passed a bill to require new school textbooks to use the name East Sea as well as the Sea of Japan in its curriculum. I was wondering what people here thought about that.