Credit: Courtesy DC Fire and EMS 10 years since Red Line crash: What it was like and how it shaped Metro