U.S. carries out first federal execution in 17 years