Actually, yes that worked. My mistake was that as it showed that the “System Dataset Pool” was the boot-pool, I assumed that all the files were already included in that.
However when I re-read what you said, I realized that I needed to hit Configure and re-run the command. Once I did that, the pool was able to be deleted successfully.
Thank you!