President Trump's face is now on $1 coins: How many Trump coins were minted?