Mike Pompeo just expertly trolled China.