"Public holiday in Cape Verde" . . . .