Su nombre dio origen al término "linchamiento".