Should the Mariners try to make a trade before the July 31 deadline?