Yes, and that is known to us. However, you asked if anyone had destroyed the Taranis in 'Pandora's Box', and I expressed my doubts that you could, because the Taranis appears in later missions - most notably, the buggy one where you're supposed to fail to capture the Ramses but what actually happens is that the Shivans fail to destroy the Aten, and so the player often flies around, stuck in the endless mission, and so disarms and disables the Taranis in utter boredom. Which is somewhat similar to destroying the Taranis. Which was the subject of your initial 'bonus' question. And the subject of my response. Yes.
See? It all makes perfect sense.