Is this really Michael Phelps’s last Olympics?