¿De qué extenso país es moneda oficial el riyal?