I looked up a few things, just for fun. I just wanted to correct what
I said, not that you are interested I'm sure.
I had heard, or just assumed Camp David was a Marine instalment, but it is not.
I also thought all Marine instalments were prefixed with "Camp", like
Camp Pendleton in California, but I guess that is not the case.
Maybe the military changed some names because I thought all Army
instalments were prefixed "Fort"; Marine "Camp"; Navy "Port"; and
finally Air force "Base" but according to the link that is
not necessarily the case.