Text this: Equatorial TEC variations during the Geomagnetic Storm of July 15–17, 2000