Policeman stabbed and killed, pedestrians mowed down, three killed.
Terrorist was gunned down and killed.
(BBC live updates)

Policeman stabbed and killed, pedestrians mowed down, three killed.
Terrorist was gunned down and killed.
(BBC live updates)