Has David Ortiz played his last game this season?