A network administrator notices that authentication logs across several servers show timestamps that differ by several minutes, causing Kerberos ticket failures and making it difficult to correlate events in the SIEM. The administrator wants to ensure all devices maintain accurate, consistent time. Which service should be configured to resolve this issue?