CINCINNATI, OH - JULY 21: AJ Ramos #44 of the Miami Marlins pitches during a game against the Cincinnati Reds at Great American Ball Park on July 21, 2017 in Cincinnati, Ohio. The Marlins defeated the Reds 3-1. (Photo by Joe Robbins/Getty Images)
CINCINNATI, OH - JULY 21: AJ Ramos #44 of the Miami Marlins pitches during a game against the Cincinnati Reds at Great American Ball Park on July 21, 2017 in Cincinnati, Ohio. The Marlins defeated the Reds 3-1. (Photo by Joe Robbins/Getty Images)