Emittente: ‘KOREA DEVELOPMENT BANK’