China’s “mask diplomacy” in Africa worked