Kenya and International Bank for Reconstruction and Development, dated February 17,