My bad. He was named. But now he’s been outed as a spy for the Cubans.
Yes, but also, as the “preface” linked above notes, he was a bit player, not a real state department official but some sort of minor academic.
I did miss the date on the article, however. You are right about that.