what was return of the jedi originally going to be called