Stortinget har behandlat marinbudgeten.