20180502 entertainment.english.hollywood: Lucasfilm congratulates Marvel on 'Infinity War' box office record