Kenyan magistrate dies after shooting by policeman

Aside from the shooter, three police officers were injured in the attack

Aside from the shooter, three police officers were injured in the attack