기룡: un nombre coreano para Rogelio — Ireum