20180715 entertainment.english.hollywood: Stan Lee pays tribute to Steve Ditko