Korean name for Nikolai — Ireum