Source: http://www.businessinsider.com/elon-musk-boring-company-faces-city-government-challenge-2018-1