Interesting. Would the 13-microsecond discrepancy mean that GPS positions were over two miles off during those 12 hours?
https://www.febo.com/pipermail/time-nuts/2016-January/095692...
Position is based on relative difference between time signals received from different satellites, not absolute.