パナマで2025年の独立記念日の休日

2025年の独立記念日の休日はパナマで公式の休日ですか？ パナマで独立記念日の休日は祝日。