Not that they’re correct, but Pennsylvania is home to Magnum Research who are the makers of the Desert Eagle. So they definitely have been doing some arms shipments.
Do they still make Desert Eagles for the military? Every person I’ve ever talked to that’s used one in service says it’s painfully unwieldy and one of the worst guns they’ve ever used
Edit: also, according to Wikipedia, the Desert Eagle is manufactured in Pillager, MN
Also according to the same article, only Portugal’s GOE and Poland’s GROM still use them in service