World Bank loan to Kenya ($ bn)