How much longer is Trump in office?