I am thinking it is a very good possiblity that we may never see Big Thunder Mountain at Disneyland again.
Although the article makes it sound like it will re-open. When someone was killed at the Carousel of Progress it closed and never re-opened. It took them over 10 years to do something with that location.
I am so sorry this happened, but I am glad they found the cause.