Panama Holiday On May 1 2017?

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

• Labour Day