How much does a military tank cost? how much does a aircraft carrier cost