Is There a Maximum Coin Supply in Dash?