@matrix well, I don't know what the point of this distinction is, but they're probably going by https://en.wikipedia.org/wiki/List_of_people_executed_by_the_United_States_federal_government
I figured they were referring to Ethel Rosenberg, even though there was another woman executed that year.