Eisenhower cambió el nombre del retiro a Camp David por su nieto, y ese nombre se ha usado desde entonces).