Norway holds national day of mourning