Trump may have to choose between an endless quagmire and ceding the Strait of Hormuz to Iran | AllMind News