MIA 4 at TEX 0, 2017-07-24

Miami Marlins at Texas Rangers, 2017-07-24, final 4-0: the score, both clubs' lines and each player's line where the data keeps them.