Stortinget star i måndags behandlat marinbudgeten.