If “domed city” is the atmosphere they’re looking for, Crystal City is definitely the right choice — the existing buildings there are all connected together by a warren of underground tunnels, which includes an underground shopping mall. Combine that with the Brutalist ‘60s architecture and you get a neighborhood straight out of a bad sci-fi movie.