tjensteman i koreanska krigsdepartementet.