Estos militares ejecutados serían conocidos como Mártires de Carral.