Report of the Auditor-General on Eastern Africa Regional Transport Trade and Development Facilitation Project IDA Credit No 5638-KE (MICT) for the Year Ended 30 June 2023