Emirates airline had to change pilots, crew, and passenger roster after Trump's order