Brian Cashman: Thank goodness we didn’t trade Gary Sanchez