It's been far easier for Elon Musk to send a rocket to the Mars than move a pebble in Washington, D.C.

That could be changing, according to The Washington Post. The SpaceX entrepreneur's tunnel digging company, The Boring Company, recently received vague permission to do some exploratory digging at 53 New York Avenue NE.

Musk is hoping to build a high speed hyperloop between New York, Baltimore, Philadelphia, and D.C. The loop will be capable of moving passengers at very high speeds thanks to depressurized tubes and magnet-levitated pods.

The digging site could become a hyperloop station, though plans remain mostly theoretical at this point.

"We’re just beginning, in the mayor’s office, our conversation to get an understanding of what the general vision is for Hyperloop,” John Falcicchio, chief of staff to D.C. Mayor Muriel E. Bowser, told The Washington Post.

Musk's permit was the only good thing to come out of Trump's infrastructure week. So. Yay.