Question: Where did the winner of the 2017 Major League Baseball Home Run Derby play college baseball?
Sentence (from "2017 Major League Baseball Home Run Derby"): The derby was held on July 10, 2017, at Marlins Park in Miami, Florida, the site of the 2017 MLB All-Star Game.
Relevant evidence: No