é meio-dia), última segunda-feira no Dia da Bandeira Maio , 14 de junho * Dia da Independência, 4 de julho * Dia do Trabalho, 1 Mon no Dia SepConstitution, 17 de setembro * Dia de Colombo, 12 de outubro * Dia da Marinha, 27 de outubro * Dia dos Veteranos, 11 de novembro * Dia de Ação de Graças, 4 Thu em novembro.
