Camp John Hay was named after John Milton Hay, the United States secretary of state during the Spanish-American War in 1898.

Musk’s slashing of government jobs, programs and departments isn’t the first effort by a president’s appointee to streamline ...