News from the New York Times: The health of President Dwight Eisenhower is announced to be OK, the Hungarian premier announces that Russian troops will withdraw immediately from Budapest as fighting continues, secret police disbands, Soviets protest United Nations interference, Isreal announces partial mobilization.