The Kingdom’s currencies: A history of the Saudi riyal