The tropical tropopause and the El Niño of 1982–1983