Kenya Development Corporation loan book (Sh bn)