“Stephen Cook asserts that the new deal with Iran does not include any provisions requiring the dismantling of its proxy forces.”