If it is not mined, who gets the starting coins?