Marinbudgeten har förelagts stortinget,