Muere Michael Leader, el extra más famoso de "Star Wars"