 They were killed in that shooting, and two others were critically injured. And then the former president was injured in the moment as well. We got a statement a few moments ago from the Trump campaign and the RNC. I want to read it to you, saying, President Trump looks forward to joining you all in Milwaukee, talking to Republicans who will be in Milwaukee as we proceed with our convention to nominate him to serve as the 47th president of the United States. As our party's nominee, President Trump will continue to share his vision.