Phelps quits swimming a happy man