“Reports a state-sponsored execution with neutral procedural language, though the context of a botched attempt adds a layer of concern.”