Jupiter's trademark Great Red Spot — a swirling storm feature larger than Earth — is shrinking. This downsizing, which is changing the shape of the spot from an oval into a circle, has been known about since the 1930s…