How to synchronize an internal time server with an external source