El nombre coreano de Jensen es 진산 — Ireum