Under gårdagens behandling i stortinget af marinbudgeten uppstod helt oväntadt en storpolitisk debatt.