https://coinsblog.ws/2017/04/how-many-foreign-coins-at-the-u-s-mint.html