Bryce Harper won the Home Run Derby. Manny Machado is on the verge of being traded. The Mariners aren’t in…