KDC

The name of a host running a KDC for that realm, with its optional port number.
This should be used only if the KDC information is not available through DNS.

---