Helge Ingstad: Norway's warship collides with tanker in fjord