Should the United States buy more destroyers, or would the money be better spent developing bases, munitions, or software?