Gulf Air Announces the Appointment of Deputy Chief Executive Officer (1)