An infrastructure and tunneling company founded by Elon Musk in 2016 aiming to facilitate underground transportation network.