Guys like this used to be called spies and double agents, not whistleblowers.