What is a place where coins are made called?

It is called a mint.