También ejecutaron al minero Álvarez Villarruel.