While pursuing his PhD at Princeton, Feynman married his high school sweetheart, Arline Greenbaum (often misspelled "Arlene"), despite the knowledge that she was seriously ill with tuberculosis—an incurable disease at the time. Who was Feynman's ex-wife?