Korean names for Pedro — Ireum