I apparently forgot Reynaldo López in the list of former Nats. He came up through the system, played in 11 games in 2016 (6 starts), and was part of the package with Giolito for Eaton. Atlanta just put him on the IL.
Dane Dunning, the other guy in the Eaton trade, was sent to the Rangers' AAA club at the end of ST. He never played higher than low A/rookie league for the Nats.