20170521 world.us: Killing CIA informants; China crippled US spying operations: Ex-officials