GP is using "executed" instead of "lynched."
This goes back to the polio vaccination campaign started in the 1990s. Bin Laden op happened in 2010-2011.
Polio workers were being chased away and lynched longer that. [1]
Still happening BTW [2]
[1] https://pmc.ncbi.nlm.nih.gov/articles/PMC2727330/ [2] https://www.rediff.com/news/report/polio-team-attacked-in-pa...