The external drive that I tried to delete the files from was way bigger than the drive I have in this machine.
Could the “undo” information have run me out of disk space? If so, would the problem lie in /tmp? Can I safely delete everything in /tmp? If so, is that worth trying?