changed NIST Internet Time Servers to NTP Time Servers