Space Opera Libretti: Modern Comedic Space Opera with Arias