this is an informed answer to my question. so they aren't wanting to bomb western-flagged ships in port? makes sense, as that would be an escalatory act. but they should (are probably are) keep it on the table for later.  if trump's efforts don't produce a peace treaty that port has to go within the next year.
United States