At one point the Gulf of Mexico was called the Gulf of New Spain, and Mexico was referred to by the Spanish as New Spain.

Musk has become the face of the Trump administration’s slash-and-burn government downsizing efforts, known as the Department ...