If trump was still in office