Did Johan Santana’s 134-pitch no-hitter really ruin his MLB career?