Korean names for Osvaldo — Ireum