u s warns airlines against flying over the persian gulf