X y xAI de Musk pagarán 17.500 millones de dólares en deuda antes de la OPI de SpaceX