The Boring Company 寻求融资,以在 7 月 25 日实现 200 亿美元估值