./delete-pool.py