SMS dit: Distribution of Losses From Large Terrorist Attacks Under the Terrorism Risk Insurance Act