Randolph's Korean name is 영달 — Ireum