Stortinget har beviljat marinbudgeten.