[ben_w]

I only leaned this a few days ago in another HN thread, but no, the USA has not declared war since 1942: https://news.ycombinator.com/item?id=24567355