Sorry, I didn't mean to say they minted US$1 coins, just coins whose value is denominated in dollars. I think the biggest one is US$0.25? US dollars are also n

Sorry, I didn't mean to say they minted US$1 coins, just coins whose value is denominated in dollars. I think the biggest one is US$0.25? US dollars are also not legal tender outside the US, with a few exceptions (I think including both El Salvador and Ecuador.)