Gulf Air resumes operations to Hong Kong