The US dollar-denominated international sukuk, or Islamic bond, is spread across two tranches, and is the Saudi energy ...