Portugal, Currency, Minting | Britannica Money