The Mariners have made their first meaningful move of the summer trade season, and it’s the one move they had hoped to make all along.