I think there's a fine line when reporting deaths at a theme park.
For example, when somebody dies "naturally" at a park (heart condition, old age, etc) and it's in no-way related to the park or rides, then I don't see the point of discussing it. A few months ago, a kid died at Flamingoland. The park just so happened to be where he popped his clogs. It could have been at home, supermarket, golf course...anywhere. The association is something I'm keen to avoid for obvious reasons.
In this instance, it's difficult to say what actually happened. Le bloke would have been trained so obviously there is an outside factor.
A shame yes, but until we know the reason, I'll hold judgement.