Heavy thunderstorms stretching from Reston to Alexandria swept through D.C. and Prince George’s County, prompting a flash flood warning.