CORRECT THE RECORD A lie about Mike Pompeo’s Gulf War service started with an anonymous Wikipedia edit