Perhaps Allah has spoken. None of the 9 seriously hurt and the attacker dead. It seems the asshole with the knife and Allah had a difference of opinion.
If he’d had a gun there would have been the same death toll - I’m often told that guns and knives are equally dangerous.
And don’t get me started on swimming pools.