Will Trump actually nominate a judge before Election Day?