What policy in regard to the military did Eisenhower see to completion?