July 10 was the shortest day of the year so far, lasting 1.36 milliseconds less than 24 hours, according to data from the International Earth Rotation and Reference Systems Service and the US Naval ...