Credit: WTOP/David Andrews 5 Red Line stations shutting down this summer as part of work to connect Metro to Purple Line