What was camp David formally called?

[BONGSnotBOMBS]

and which president changed it to camp david?

and who was camp david named for?

 

[PankClaw]

Hi-Catoctin

Dwight Eisenhower
his grandson, Dwight David Eisenhower II

 

[cfelonius]

I thought it was originally called Shangri-La, not sure about the other parts though.