Learning lessons from the loss of the Norwegian frigate Helge Ingstad