How would the DL agent even know that OP's colleague had a US passport if he was traveling on an Argentinian passport? If the colleague checked in and provided details from his Argentinian passport, the agent would have run TIMATIC using that information, seen that the colleague did not require a visa and the colleague would have been in Brazil by now.

I presume that UA gave the colleague a TIMATIC print out showing the Argentinian information.