El nombre coreano de Jensen es 진서 — Ireum