NBC: Search halted for missing cruise traveler in Gulf of Mexico