[shotgun]

Maybe the person’s name is classified and the Washington Post followed protocol to not publish classified info in a non-classified public newspaper. /s

[thoughtomator]

And how often is the name of a genuine diplomat classified? Never, of course - only covert agents have their names classified.