IIRC, this turned into a large and complicated reinsurance claim case because they couldn't work out if the second plane hitting counted as a separate event, or if both planes should be counted as the same attack. This made a big difference in terms of who should pay whom, and what amount.