Jupiter's great red spot is mysteriously hot