NBC: After hitting Texas as a tropical storm, Harold weakens to tropical depression