Kenya's gross domestic product has grown to $200 billion this year, up from $80 billion in 2018.