I just wanted to point out that while this US/ARMY lock is correctly described as a pancake lock, it is not a push key pancake lock. The US Lock Co. made at least two warded pancake locks one which you found marked Army and another you may someday find marked Navy.
BBE.