Should the Padres cut Mike Clevinger?