NBC: West Maui to reopen for tourism on Nov. 1, mayor says