Should the Mariners consider trading Felix Hernandez before the July 31 deadline?