-LRB- Plus tard, le président Dwight D. Eisenhower a rebaptisé le camp de retraite Camp David en l'honneur de son petit-fils, nom sous lequel il est aujourd'hui connu. -RRB-
-LRB- Cette retraite s'appelle maintenant Camp David depuis que le président Dwight D. Eisenhower l'a rebaptisé après son petit-fils.