Leaders of S. Korea, Kenya discuss trade, economic development, N. Korea denuclearization