Same for May in UK and probably a fair few former territories, but I think some places get two days off (Spain?) which may be even better

edit: the UK actually should be yellow here, as there's no Labour Day at all, but there is a public holiday on the 1st Monday in May, whereas green means Labour Day exists but can't fall on 1st May