"What would Eisenhower do if the Russians did to the"
