There is no indication that Trump will drop out, but there is a procedure should he decide to withdraw before Election Day.