Ese día ha sido instituido en Cuba como "Día de los Mártires de la Revolución".