Tuesday’s storm deluged D.C. area with record rainfall and toppled trees