2023 MLB Home Run Derby - Name of the Finalists?

MLB

MLB

Adolis Garcia v Pete Alonso vs AOR