Grim milestone: Oklahoma carries out the 25th and final US execution this year