Report of the Auditor-General on Kenya Electricity Modernization Project (IDA CREDIT NO 5587-KE) for the Year Ended 30 June 2023