The Home Run Derby is still weeks away, set for July 14 in Atlanta, and has no official entrants yet. “Would I like to see him do it?” Manager Dave Martinez said. “Yeah.”