 So the president has COVID-19. This was announced yesterday. The president is tested positive for COVID-19. And he is, I think, the White House said that the president started feeling lousy during his day in Las Vegas, where he traveled for a series of events to court Nevada voters in key constituencies.