Should Washington-Lee HS Be Renamed to Remove "Lee" from the Name?