“Casa da Moeda". See original record