Names Nuke Op Leader's ID card

To make it easier to identify who has it, especially if it starts getting passed around.
Merge pull request #5009 from Ikarrus/agentcardname

Names Nuke Op Leader's ID card