NBC: Gas pipeline to Las Vegas resumes operating after shutdown