
   Could someone explain where these names come from?   I'm sure there's a 
   perfectly good reason to name a planetoid "Smiley," but I'm equally sure 
   that I don't know what that reason is.

Read John le Carre's "Tinker, Tailor, Soldier, Spy", "The Honorable Schoolboy"
or "Smiley's People".