When, for some reason, you need to know which domain controller is authenticating a user, just open a command line on the user’s machine and run:
echo %logonserver%
The result will be, as expected, the domain controller that authenticated that user.