18,000 Reis i Portugisiskt myntutgöra