Miami Marlins Monday, Oct. 12, 2020: Season Comes ...