Elias traded to #nationals

— Joel Sherman (@Joelsherman1) July 31, 2019