Bahraini Dinar officially pegged to the US dollar