Stations served by Red Line trains on the Washington Metro.