“Iran has spent at least $500 billion, and possibly up to a trillion dollars, to build its network of proxy forces, which have now been largely destroyed or degraded.”