Banks sell down $5.5 billion of Musk’s X debt to investors, source says