Korean names for Gideon — Ireum