Report of the Auditor-General on Kenya Electricity Modernization Project (IDA CR No 5587 KE) for the Year Ended 30 June 2020 Ministry of Energy .