What do you expect J.D. Martinez to do after the season?