El 17 de octubre fue declarado día de duelo nacional.