On the Prime-Time Schedule for the Republican National Convention