US Executes 1st Federal Prisoner in 17 Years