The definition of irony

In 1969, the jazz trumpeter and singer Louis Armstrong recorded 'We have all the time in the World'. Unfortunately not for Louis, who's health rapidly declined shortly afterwards. He later died in 1971. Now that's irony.