Twitter glitch allows CIA informant channel to be hijacked