Emellertid mäste marinbudgeten förökas.