The Life and Times of Joseph Stalin: An Opera