Report of the Auditor-General on Kenya Electricity Expansion (OFID Credit No 1487P) for the Year Ended 30 June 2023