Since launching The Boring Company a year ago, Elon Musk has mentioned several possibly construction sites for the tunnel-drilling business, and thrown out a vague reference to a "verbal" government approval for a Hyperloop tunnel connecting New York City and Washington, DC. But now we know at least one mayor wants Musk to drill a hole under their city.