Looks like the clip used on Cross pens.
Gottem…it's Garland and it doesn't cost much.
https://www.garlandpen.com/uploads/product_catalogs/2019_Garland_Catalog_Web.pdf
PIC isn't the exact one. The right pen is a little further down on the page. Still only about $20. So much for spending muh taxpayer dollars.
Here's the proof that they are Garland.
https://www.spreaker.com/user/wpro/rick-becker-1-16-20