Elon Musk announced that he’ll launch The Boring Company China in Shanghai at the end of August