Best thing to do now is grind the stump and immediately plant one of the many Dutch elm disease resistant elms available in the nursery trade. Heritage elm, I believe, is doing well in tests and outplantings as is another one that I believe is named Princeton elm.