Manny Machado or JT Realmuto?