The Brazilian Mint, or Casa da Moeda, was created in 1694 by then-Portuguese King Pedro II. Like many such institutions,…