Credit: WTOP/Mike Murillo After interrupted pool season, DC welcomes swimmers to a renovated, renamed rec center