who played general eisenhower in the longest day