Sources: The Manny Machado-to-the-Dodgers deal is done. Players are being notified.

— Jeff Passan (@JeffPassan) July 18, 2018