I will always shoot the first buck in the situation you had, if he met my criteria. I'd consider it odd for the more mature buck to be following a subordinate. Just my experience.

Nice deer!