A 39-year-old man repos seeing red-colored urine in the morning. The CBC reveals anemia, low serum iron, and an elevated reticulocyte count. Laboratory studies show increased lysis of erythrocytes when incubated with either sucrose or acidified serum. Which of the following is the appropriate diagnosis