パナマで2024年の労働者の日

2024年の労働者の日はパナマで公式の休日ですか？ パナマで労働者の日は祝日。