Can Ships in the Gulf Take Trump at His Word?

Amid the uncertainty of Trump’s deal, how will ships decide when to leave the Persian Gulf?