https://www.washingtonexaminer.com/news/us-carries-out-first-federal-execution-in-17-years