NBC: DHS names detainee victims of shooting at Dallas ICE facility