Singapore: Labour Day (in lieu)