A 60-year-old woman being investigated for menorrhagia is found on history to have lethargy, constipation, cold intolerance, and muscle stiffness. Which of the following is the most likely diagnosis?