20170923 entertainment.english.hollywood: 'Star Wars: The Last Jedi' has officially wrapped; says Rian Johnson