Buck Showalter comments on Manny Machado being traded