Report of the Auditor-General on Horn Africa Gateway Development Product IDA - P161305 Credit No 6768-ke for the Year Ended 30 June 2023