O nome coreano de Trenton é 대건 — Ireum