taking out a carrier would result in nuclear war, somebody would have to
basically destroy a whole battle group to get to the carrier, including the subs, planes, etc. It would be all out war at that point. Losing $13B would be the least or our worries.