Korea observer : a quarterly journal.