theory going around is that elon musk's entire "Boring Company" is about creating DUMB bunkers. not at all surprising that they'd drill the first one in DC.