U.S. carries out 13th and final execution under Trump administration