[1] https://en.wikipedia.org/wiki/Die_Hard
(As of March 2020, $870M of these bonds remain unredeemed)