https://crimescribe.com/2020/04/26/on-this-day-in-1957-robert-eugene-bobby-carter-last-man-executed-in-washington-d-c/
On This Day in 1957 – Robert Eugene ‘Bobby’ Carter, last man executed in Washington D.C