GPS jamming in the Gulf