Trump Jr.'s Republican nomination odds hit __ by December 31?