Gulf Investment Corporation (GIC) repays US$ 500 million maturing EMTNs