Completely forgotten: “largest domestic bomb ever to explode in the United States until the bombing of the World Trade Center”