Elon Musk's rocket destroyed a secret US satellite