Kicking Out Chinese Spies: How Many Are There, Anyway?