The word "mint" really takes the meaning out of the word "mine". True though, minting is part of the economics included in mining.
Usually governments mint coins, but no government (or centralized entity) currently operates a legitimate network that matches up with the same properties as bitcoin.
I might have used an asterisk, maybe? :)