When will the successor to Kevin McCarthy be elected as Speaker of the United States House of Representatives?