Kostnaderna för ett modernt krigsfartygs stapellöpning äro ganska betydliga.