Navy Yard shooting: AR-15, back in the news -- briefly