Wann wurde Eisenhower zum Chief of Staff of the Army ernannt?