Hate the headline. It's self-tokenizing.

I doubt he wrote it though

None of us write our own headlines and that’s the kind of house style at both the WaPo and the Times. My stuff gets heds like that too.