20180811 entertainment.english.hollywood: Gal Gadot joins 'Ralph Breaks the Internet'