NBC: Justice Clarence Thomas discharged from D.C. hospital