john kerry costs u.s. defense industry $400 billion