Did the Home Run Derby mess up Aaron Judge’s swing?