Bergingen av KNM Helge Ingstad har kostet minst 640 millioner