The Irpinia earthquake of November 23, 1980