韩先楚当过兵团司令员吗，他接替另一位开国上将，任期并不长