¿Cómo debe pagarse el 20 de Diciembre: Día de Duelo Nacional?