The space anticipated for Mr. Musk’s use is in the Eisenhower Executive Office Building, which is adjacent to the White House. The location would allow Mr. Musk, who owns companies with billions ...