I've always had a soft spot for this design.
Interesting that you picked Shaitan for a "horned" variant, since the Arabic word "Shaytan" is the origin of our western word "Satan" (though the devil in Christian mythology is quite a different animal from the devil in Islamic mythology).
Not quite. The English word "Satan" derives from the Hebrew term "Ha-satan" which means "resister" or "opposer" and was in use for over a thousand years before the prophet's doings and sayings were recorded in the Qur'an.
However, as both Arabic and Hebrew derive from a common lingual ancestor (Central Semitic) it's possible that the two words share a common root rather than one having been derived from the other.
Shaitan (شيطان) is the equivalent of Satan in Islam. While Shaitan (شيطان, from the root šṭn شطن) is an adjective (meaning "astray" or "distant," sometimes translated as "devil") that can be applied to both man ("al-ins", الإنس) and Jinn, Iblis (Arabic pronunciation: [ˈibliːs]) is the personal name of the Devil who is mentioned in the Qur'anic account of Genesis.
in the context of "Astray" or, perhaps even more appropriately, "Distant" could be a perfectly appropriate name for a starship.