Original: The attack unfolded quickly, and police said officers had shot and killed the three attackers within eight minutes.
Updated:  The assault unfolded - and ended - quickly, with police fatally shooting the three attackers within eight minutes.