Be careful with these over-the-top claims from anonymous sources; it's easy enough to turn the whole thing into a house of cards by promulgating unverified outlandish info. Once one aspect of a story is brought into doubt, the rest of the story becomes suspect as well.
Except the source is not anonymous and he names names and dates and locations of executions.
Due to classification doubt the agency will ever corroborate or honor these people.