Fernando Navarro suggests that both I and Joseph Townsend are wrong. The Spanish word for executioner, verdugo, he says, was applied originally to a rod cut green, verde, and used to administer beatings. If Townsend was wrong, then his confusion or that of his informer might have arisen if (a) executioners were clothed in, or…