MIA 1 at WSH 10, 2017-08-09

Miami Marlins at Washington Nationals, 2017-08-09, final 1-10: the score, both clubs' lines and each player's line where the data keeps them.