(The same gun was used to murder 20 people at Sandy Hook Elementary, and the school shooting in Oregon earlier this week.)
