The US is escorting ships through the GPS-jammed Strait of Hormuz amid escalating US-Iran hostilities, with prediction markets pricing high transit odds.