What is a place where money is coined by public authority called?

mint — A place where money is coined by public authority. (Webster's 1913.)

Sources