death penalty for mob lynching