US destroyer alters course in Persian Gulf