US: Supreme Court’s Ok to first federal execution in 17 years