Public holidays in the Sahrawi Arab Democratic Republic