Colorado Windstorm Causes 4.8 Microsecond Glitch in Official US Time