In 5 billion years, after the sun expands its diameter as a red giant, might the moons of the outer planets thaw and become hospitable to life?