A clarification: There are other "Feriados Nacionales", like May 25th, June 20th, July 9th, August 17th, October 12th, December 8th, but they are not like the other 3 i mentioned.
They can be moved around, to a monday for example, and working is optional for some unions.