A 58-year-old female has had a 20-pound weight gain over the past two years. She has noticed increasing cold intolerance and sluggishness. On physical exam her heart rate is decreased, and her reflexes are delayed. Her serum TSH is 11.8 mU/L (normal = 0.3 - 3.0), and her T4 is 2.3 micrograms/dL (normal = 4.5 - 12.5). A year ago, anti-TSH-receptor antibodies were detected at high titer. Which of the following diseases does she most likely have?