El Niño during the Last Interglacial Period recorded by a fossil coral from Indonesia