Royal Mint of Spain — national mint (currency manufacturer) of Spain