Police name gunman who killed 3 at Michigan State University; all victims were students. Live updates.