20170701 entertainment.english.hollywood: 'Top Gun' sequel gets summer 2019 release date