What was camp David formally called?

Hi-Catoctin

Dwight Eisenhower
his grandson, Dwight David Eisenhower II
 
I thought it was originally called Shangri-La, not sure about the other parts though.
 
Back
Top