Saying “South Korea” is factually no different from saying “French Indochina”