Afinal, a lua de Júpiter, Io, não tem um oceano de lava