“China's development finance lending to Kenya amounted to $522 million in 2017.”