Bonds with ISIN US302154CC169 denomination, issuer of which THE EXPORT-IMPORT BANK OF KOREA, have been redeemed in the recordkeeping system of the Central Securities Depository on May 26, 2026.