>>1733788

https://en.wikipedia.org/wiki/Operation_Pastorius#Trial_and_execution

https://www.history.com/this-day-in-history/german-saboteurs-executed-in-washington