Dexter's Korean name is 덕섭 — Ireum