Washington DC-area metro trains, halted by computer issue, have resumed service - @wtop