US carries out 1st federal execution in nearly 2 decades