Report of the Auditor-General on Kenya Climate Smart Agriculture Project (IDA Credit No 5945-Ke) for the Year Ended 30 June 2023