U.S. carried out its ninth federal execution of 2020