FOX5DC.com; Washington-Lee High School to be renamed Washington-Liberty; Josh Rosenthal, FOX 5 DC; January 10, 2019.