Police praise man who killed Indiana mall attacker