What we know after Indiana trooper shot in Michigan City