First federal US execution in 17 years