WASHINGTON — President Donald Trump and his military commanders were in a bind. They had announced the start of a new mission to help guide commercial ships through the Strait of Hormuz, which Iran ...