الريال السعودي في البنك التجاري الدولي