NBC: Name of Grand Rapids officer who fatally shot Patrick Lyoya is released