The Jedi in “Star Wars: The Last Jedi” is plural according to Spanish translation.