Ese día es feriado distrital.