“When it was first observed, the Great Red Spot extended over 24,200 miles …. it has been shrinking ever since. Today, the storm stretches to 8,700 miles”