US carries out 9th federal execution of 2020, 1st during a presidential lame-duck period in 130 years