Feriado em 9 de Julho, que feriado é esse???

Muita gente, fica sem saber que feriado é esse em 9 de julho, muitos calendários não mostra.
Então vamos conhecer mais sobre este dia.