Gulfstream Names International Ops Director