Panama Holiday On January 9 2017?

The following are Panama's national holidays that apply to Monday, 2017-01-09:

• Martyrs' Day