The name change marks a shift in US policy, formalising the use of 'Arabian Gulf' or 'Gulf of Arabia,' terms long used...