Washington Post favicon

Local leaders say they’ll pay $5.6 billion to automate Metro