E-mail the story: Jupiter's great red spot is shrinking