 So the Fox News channel will keep you updated on this story today. And a reminder, we've got extensive live primetime coverage every night of the Republican National Convention starting 10 p.m. Eastern, including Wednesday and Thursday nights as former President Trump and his vice president.