20180509 entertainment.english.hollywood: 'Operation Red Sea' gets India release date