SportsPen July 17, 2018: HR Derby, Machado rumors, NFL preview pt 2