Which option in the /etc/ntp.conf file specifies an external NTP source to be queried for time information?