Sidereal time is used by navigators when...