attacker injured 4 in machete attack at a restaurant; attacker was shot and killed by police when he attacked police at the end of a car chase