Harvey weakens to a tropical depression